Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
51	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
52	Greedy regular expression matching Alain Frisch INRIA Luca Cardelli MSRC Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Pattern matching Regular expressions Procedural programming languages Data types Type theory Subtype polymorphism TRE ALGOL 68 Luca Cardelli Software engineering Computing Computer programming
53	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:08:25 Data types Computing Pointing stick Subtype polymorphism Constraint programming Software engineering Type theory Object-oriented programming
54	, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:26 Programming language theory Subtype polymorphism Type inference Type system Hindley–Milner Variable System F Function Parametric polymorphism Type theory Software engineering Mathematics
55	Adresses English version – SOSI standard 4.0 Adresses English version – SOSI standard 4.0 Adresses Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:07:57 Computing Computer programming C++ Object-oriented programming Subtype polymorphism Type theory Reference String Integer Data types Software engineering Primitive types
56	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
57	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
58	ArcGIS Data Dictionary Smart Meter Geodatabase Version 1.0 ● Proposed Add to Reading List Source URL: sparxsystems.com.au Language: English - Date: 2014-11-06 23:53:49 Stereotype Technical terminology Unified Modeling Language Target Corporation Lightweight Directory Access Protocol Subtype polymorphism ArcGIS Null Attribute Computing Software engineering Object-oriented programming
59	A Lambda Calculus of Incomplete Objects Viviana Bono∗ ∗ ∗∗ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:29:22 Type theory Data types Object-oriented programming Models of computation Deduction Type system Symbol Subtype polymorphism Lambda calculus Software engineering Computing Logic
60	After the meat and potatoes, before the pickles: superaccessors (Part 1) c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 16th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-09-20 05:42:22 Object-oriented programming Java programming language Method Polymorphism Subtype polymorphism Type theory Method overriding Mutator method Clone Computing Software engineering Computer programming